Obligation, Permission, and Bayesian Orgulity
نویسندگان
چکیده
منابع مشابه
Conditional Obligation and Positive Permission for Agents in Time
This paper investigates the semantic treatment of conditional obligation, explicit permission (often called positive permission), and prohibition based on models with agents and branched time. In such models branches (rather than moments) are taken as basic, and the branching provides a way to represent the indeterminism which is normally presupposed by talk of free will, responsibility, action...
متن کاملObligation as Weakest Permission: a strongly Complete Axiomatization
In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula φ is obligatory if and only if it is (semantically speaking) the weakest permission. We give a sound and strongly complete, Hilbert style axiomatization for this logic. As a corollary, it is compact, contradicting earlier claims from Anglberger et al. (2015). In addition, we prove tha...
متن کاملAn Action-based Logic of Causality, Knowledge, Permission and Obligation 1
The critical properties required of secure systems can vary widely in their nature from application to application. Diierent properties required within the same system can result in interactions that are diicult to understand. In addition, the integration of systems having diierent properties can cause unanticipated interactions. The Critical System Logic (CSL) addresses these problems by provi...
متن کاملYou ought to do something ! The logic of obligation as weakest permission
This paper studies the following interpretation of obligations: A person i ought to do A in a situation S just in case everything else i may (and can) do in S is consistent with A. In such case A can be called the weakest permission that i has in S. We show that, under this interpretation, obligation and permission are not dual notions, and that it gives rise to an interesting interplay between...
متن کاملThe Logic of Permission and Obligation in the Framework of ALX.3: how to avoid the paradoxes of deontic logics
Standard deontic logic features fairly serious socalled “paradoxes” (technically: counterintuitive validities). Much energy in deontic logic has been spendt on avoiding these “paradoxes”. We suggest a reformulation of deontic logic in terms of a multiagent logic, ALX.3, where a “super-agent” (think of a legislature) lays down the law of the land and other agents have to follow its rules. In par...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ergo, an Open Access Journal of Philosophy
سال: 2019
ISSN: 2330-4014
DOI: 10.3998/ergo.12405314.0006.003